Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
221	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
222	Alonzo Church inventor of lambda calculus 9 Lambda Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Mathematics Anonymous function Function Binary lambda calculus Church encoding Lambda calculus Software engineering Declarative programming
223	Declarative Parallel Programming for GPUs Eric HOLK William BYRD Nilesh MAHAJAN Jeremiah WILLCOCK Arun CHAUHAN and Andrew LUMSDAINE Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2011-12-19 21:18:13 Graphics hardware Software Video cards Nvidia Video game hardware OpenCL CUDA Graphics processing unit Parallel computing GPGPU Computing Computer hardware
224	SOPRANO : SMT meets CP ProofInUse KickOff \| F.Bobot 2 February Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-06 04:11:21 Computer programming Declarative programming Solver Constraint programming Theoretical computer science Software engineering
225	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
226	Kanor A Declarative Language for Explicit Communication Eric Holk1 , William E. Byrd1 , Jeremiah Willcock1 , Torsten Hoefler2 , Arun Chauhan1 , and Andrew Lumsdaine1 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2011-12-19 21:18:13 Inter-process communication Application programming interfaces Parallel computing Communication Message Passing Interface Programming paradigms Communications protocol Eval C++ classes Computing Software engineering Computer programming
227	Programming the SQL Way with Common Table Expressions Add to Reading List Source URL: momjian.us Language: English - Date: 2014-12-06 10:08:29 Relational database management systems Programming paradigms Common table expression Declarative programming Imperative programming PL/Perl Select K Data Definition Language Data management Computing SQL
228	The function f (x , y ) = sin xy plotted by computer 2 Functions Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:11 Declarative programming Subroutines Lambda calculus Functional programming Higher-order functions Function Parameter C++ classes Domain of a function Mathematics Software engineering Functions and mappings
229	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
230	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming

UPDATE